FURY: Fuzzy unification and resolution based on edit distance

We present a theoretically founded framework for fuzzy unification and resolution based on edit distance over trees. Our framework extends classical unification and resolution conservatively. We prove important properties of the framework and develop the FURY system, which implements the framework efficiently using dynamic programming. We evaluate the framework and system on a large problem in the bioinformatics domain, that of detecting typographical errors in an enzyme name databas

Timetabling in constraint logic programming

In this paper we describe the timetabling problem and its solvability in a Constraint Logic Programming Language. A solution to the problem has been developed and implemented in ECLiPSe, since it deals with finite domains, it has well-defined interfaces between basic building blocks and supports good debugging facilities. The implemented timetable was based on the existing, currently used, timetables at the School of Informatics at out university. It integrates constraints concerning room and period availability

Effects of Fermion Flavor on Exciton Condensation in Double Layer Systems

We use fermionic path integral quantum Monte Carlo to study the effects of fermion flavor on the physical properties of dipolar exciton condensates in double layer systems. We find that by including spin in the system weakens the effective interlayer interaction strength, yet this has very little effect on the Kosterlitz-Thouless transition temperature. We further find that, to obtain the correct description of screening, it is necessary to account for correlation in both the interlayer and intralayer interactions. We show that while the excitonic binding cannot completely surpress screening by additional fermion flavors, their screening effectiveness is reduced leading to a much higher transition temperatures than predicted with large-N analysis.Comment: 4 pages, 3 figure

Institution Building for African Regionalism

Since the 1960s, African states have embraced regional integration as a vital mechanism for political cooperation and for pooling resources to overcome problems of small and fragmented economies. In building meaningful institutions for regionalism, however, Africans have faced the challenges of reconciling the diversities of culture, geography, and politics. As a result, African regional institutions are characterized by multiple and competing mandates and weak institutionalization. This study illustrates these themes by comparing two continental institutions—the African Union and its predecessor, the Organization of African Unity, and the United Nations Economic Commission for Africa and subregional institutions—the Economic Commission of Central African States, the Economic Community of West African States, the Common Market for East and Southern African States, the Community of the Sahel-Saharan States, and the Arab Maghreb Union. By focusing on the institutional structures, mandates, and contributions of these organizations in their geographical domains, the study probes the links between policy articulation and outcomes. The conclusion focuses on lessons that African regionalism can inform Asian integration experiences.African Regionalism; Regional Integration; Africa; African Union; United Nation’s Economic Commission for Africa